p, q:. (p q)   

latex

Up	bool 1, bool 1
Definitions	p q, t  T, x:A. B(x)
Lemmas	bool wf, btrue wf, ifthenelse wf